search($k$;$P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($k$;0;$\lambda$$i$,$j$. if 0$<_{2}$$j$$\rightarrow$ $j$ ; $P$($i$)$\rightarrow$ $i$+1 else 0 fi)